menu "Linux Kernel Extensions"

# Xenomai
config BR2_LINUX_KERNEL_EXT_XENOMAI
	bool "Adeos/Xenomai Real-time patch"
	depends on BR2_TOOLCHAIN_HAS_THREADS
	depends on BR2_i386 || BR2_x86_64 || BR2_arm || \
		   BR2_bfin || BR2_powerpc || BR2_sh4
	select BR2_PACKAGE_XENOMAI
	help
	  Xenomai Kernel part.

	  In the current version of Xenomai, the following kernel
	  versions are supported: on Blackfin, 2.6.34 and 2.6.36.9, on
	  SH4, 2.6.32.10, on x86, 2.6.35.9, 2.6.37.6, 2.6.38.8, on
	  ARM, 2.6.35.9, 2.6.37.6, 2.6.38.8, on NIOS2, 2.6.35, on
	  PowerPC, 2.6.35.7, 2.6.36.4, 3.0.8.

comment "xenomai requires thread support in toolchain"
	depends on !BR2_TOOLCHAIN_HAS_THREADS

config BR2_LINUX_KERNEL_EXT_XENOMAI_ADEOS_PATCH
	depends on BR2_LINUX_KERNEL_EXT_XENOMAI
	string "Path for Adeos patch file"
	help
	  Optionally, explicitly specify the Adeos patch to use.
	  Download it at http://download.gna.org/adeos/patches/v2.6/$(ARCH)/
	  and verify that your kernel version in buildroot matches.

# RTAI
config BR2_LINUX_KERNEL_EXT_RTAI
       bool "RTAI Real-time patch"
       select BR2_PACKAGE_RTAI
       help
         RTAI Kernel part.

config BR2_LINUX_KERNEL_EXT_RTAI_PATCH
       depends on BR2_LINUX_KERNEL_EXT_RTAI
       string "Path for RTAI patch file"
       help
         Optionally, explicitly specify the RTAI patch to use.

endmenu
